Lattice Properties
نویسنده
چکیده
This formalization introduces and collects some algebraic structures based on lattices and complete lattices for use in other developments. The structures introduced are modular, and lattice ordered groups. In addition to the results proved for the new lattices, this formalization also introduces theorems about latices and complete lattices in general.
منابع مشابه
Arens regularity and cohomological properties of Banach lattice algebra
A Banach lattice algebra is a Banach lattice, an associative algebra with a sub-multiplicative norm and the product of positive elements should be positive. In this note we study the Arens regularity and cohomological properties of Banach lattice algebras.
متن کاملMagnetic Properties in a Spin-1 Random Transverse Ising Model on Square Lattice
In this paper we investigate the effect of a random transverse field, distributed according to a trimodal distribution, on the phase diagram and magnetic properties of a two-dimensional lattice (square with z=4), ferromagnetic Ising system consisting of magnetic atoms with spin-1. This study is done using the effectivefield theory (EFT) with correlations method. The equations are derived using...
متن کاملDevelopment of Nonlinear Lattice-Hammerstein Filters for Gaussian Signals
In this paper, the nonlinear lattice-Hammerstein filter and its properties are derived. It is shown that the error signals are orthogonal to the input signal and also backward errors of different stages are orthogonal to each other. Numerical results confirm all the theoretical properties of the lattice-Hammerstein structure.
متن کاملAlgebraic Properties of Intuitionistic Fuzzy Residuated Lattices
In this paper, we investigate more relations between the symmetric residuated lattices $L$ with their corresponding intuitionistic fuzzy residuated lattice $tilde{L}$. It is shown that some algebraic structures of $L$ such as Heyting algebra, Glivenko residuated lattice and strict residuated lattice are preserved for $tilde{L}$. Examples are given for those structures that do not remain the sam...
متن کاملMagnetic Properties and Phase Transitions in a Spin-1 Random Transverse Ising Model on Simple Cubic Lattice
Within the effective-field theory with correlations (EFT), a transverse random field spin-1 Ising model on the simple cubic (z=6) lattice is studied. The phase diagrams, the behavior of critical points, transverse magnetization, internal energy, magnetic specific heat are obtained numerically and discussed for different values of p the concentration of the random transverse field.
متن کاملDependent Lattice Random Elements
In this study, we first introduce the Banach lattice random elements and some of their properties. Then, using the order defined in Banach lattice space, we introduce and characterize the order negatively dependence Banach lattice random elements by the order defined in Banach lattice space. Finally, we obtain some limit theorems for the sequence of order negatively dependence Banach lattice ra...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Archive of Formal Proofs
دوره 2011 شماره
صفحات -
تاریخ انتشار 2011